Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
481	Specification of FlatZinc Version 1.3 Ralph Becket 1 Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2011-02-10 23:26:00 C programming language Data types C syntax Source code Array data type Literal ATS Declaration Constraint programming Software engineering Computer programming Computing
482	The Systematic Generation Of Channelled Models In Constraint Satisfaction Bernadette Mart´ınez Hern´ andez Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2009-01-21 07:16:25 Constraint programming Constraint satisfaction Channel
483	Effective and Efficient Data Reduction for the Subset Interconnection Design Problem? Jiehua Chen1 , Christian Komusiewicz1 , Rolf Niedermeier1 , Manuel Sorge1 , Ondˇrej Such´ y2 , and Mathias Weller3 1 Add to Reading List Source URL: fpt.akt.tu-berlin.de Language: English - Date: 2013-10-09 05:34:13 Hypergraph Graph Vertex cover Constraint programming Kernelization Graph theory Theoretical computer science NP-complete problems
484	CLP(Intervals) Revisited 1 F. Benhamou D. McAllester P. Van Hentenryck Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2006-08-07 20:12:27 Software engineering Interval arithmetic Constraint logic programming Local consistency Antiderivative Interval Mean value theorem Constraint satisfaction problem Constraint algorithm Constraint programming Mathematics Mathematical analysis
485	Constraint Handling Rules for SWI-Prolog Tom Schrijvers?1 , Jan Wielemaker2 , and Bart Demoen1 1 2 Add to Reading List Source URL: www.swi-prolog.org Language: English - Date: 2015-04-03 07:57:28 Computing Constraint Handling Rules Prolog Logic programming Constraint logic programming XSB CLP ECLiPSe Logtalk Software engineering Constraint programming Computer programming
486	Specification of FlatZinc Version 1.4 Ralph Becket 1 Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2011-11-11 00:02:58 Data types C programming language C syntax Source code Array data type Literal ATS Declaration Constraint programming Software engineering Computer programming Computing
487	An Overview of the SWI-Prolog Programming Environment Jan Wielemaker Social Science Informatics (SWI), University of Amsterdam, Roetersstraat 15, 1018 WB Amsterdam, The Netherlands, Add to Reading List Source URL: www.swi-prolog.org Language: English - Date: 2015-04-03 07:57:28 Constraint programming Prolog Integrated development environments Emacs Genera Read–eval–print loop Logtalk Jekejeke Prolog Software Computing Computer programming
488	Planning with Preferences and Trajectory Constraints by Integer Programming Menkes van den Briel Subbarao Kambhampati Add to Reading List Source URL: www.menkes76.com Language: English - Date: 2012-10-29 18:18:21 Preference Mathematical optimization Automated planning and scheduling Constraint programming Planning Domain Definition Language
489	Constraint Design Rewriting Roberto Brunia , Alberto Lluch Lafuenteb , Ugo Montanaria a Dipartimento di Informatica, Universit`a di Pisa, Italy { bruni,ugo}@ di. unipi. it Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Local consistency Flow network Graph Constraint satisfaction Constraint logic programming Directed graph Decomposition method Tree decomposition Graph theory Constraint programming Theoretical computer science
490	Banshee: A Scalable Constraint-Based Analysis Toolkit? John Kodumal1 and Alex Aiken2 1 2 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2005-06-06 18:55:41 Computing Constraint satisfaction problem Backtracking Constraint graph Prolog Constraint Type system Constraint satisfaction Constraint logic programming Constraint programming Software engineering Computer programming

UPDATE